Computer Algebra in User Interface Design Analysis
نویسنده
چکیده
Computer algebra systems can do impressive mathematics that can help enormously in certain areas of formal HCI. This paper shows the ability to generate formal specifications, explore and generate theorems relevant to HCI needs, and how to do this automatically and reliably from existing, straight-forwardly programmed runnable systems. Conventional iterative design can modify these implementations, and we can then automatically redo formal analyses as the design is updated.
منابع مشابه
User Interface Design in Mobile Educational Applications
Introduction: User interfaces are a crucial factor in ensuring the success of mobile applications. Mobile Educational Applications not only provide flexibility in learning, but also allow learners to learn at any time and any place. The purpose of this article is to investigate the effective factors affecting the design of the user interface in mobile educational applications. Methods: Quantita...
متن کاملUsability evaluation of the user interface in electronic prescribing systems of Iran Health Insurance Organization and Social Security Organization
Introduction: The e-prescribing system is one of the basic technologies in the health system structure which was developed with the aim of properly managing healthcare resources and services, preventing common manual prescribing errors, and increasing patient safety. Given that the user interface of e-prescribing system is considered as the main factor of user acceptance, the purpose of the pre...
متن کاملSelecting and Extracting Effective Features of SSVEP-based Brain-Computer Interface
User interfaces are always one of the most important applied and study fields of information technology. The development and expansion of cognitive science studies and functionalization of its tools such as BCI1, as well as popularization of methods such as SSVEP2 to stimulate brain waves, have led to using these techniques every day, especially in appropriate solutions for physically and menta...
متن کاملFUM Students' Understanding of the Terms Used in User Interface of SIMAD Library Software
Background and Aim: The main objective of the research is to determine the understanding level of the students of Ferdowsi University of Mashhad in the terms used in user interface of SIMAD library software. Methods: The study is an applied research with survey descriptive method. Research population was Ferdowsi University of Mashhad, including 24346 students of whom 164 were selected as sampl...
متن کاملHeuristic Evaluation of Picture Archiving and Communication Systems (PACS)
Introduction: Poor User Interface design can be one of the probable reasons of users’ error and reduced incentive in using health information systems such as PACS. Heuristic evaluation is one the methods for assuring the proper user interface design of health information systems such as PACS. Method: This study was a descriptive-analytic research conducted in 2019 through using Nielsen usabilit...
متن کامل